有限差分法在陶瓷瓦烧结过程优化控制中的应用

采用有限差分法分析了陶瓷瓦在烧结过程中的温度均匀性,计算结果表明:采用基本模型在烧结过程中温度分布不均匀,与实验结果相符;采用改进模型重新计算,结果显示陶瓷瓦在烧结过程中温度均匀性得到显著改善,进而提出实验修改方案。     

SCAN90CP02型LVDS交叉点开关功能及应用

SCAN90CP02是美国国家半导体公司最新推出的LVDS超高速交叉点开关,其可编程的预增强功能可应用于高损耗的电路板及电缆连接中以增强信号驱动能力,而且还具备符合IEEE1149.6标准的测试能力。文中详细介绍该电路的功能、结构和特点,同时给出测试特性。     

飞机大攻角空间机动气动力建模研究

 准确的气动力模型是大攻角机动仿真与控制等飞行动力学问题研究的基础。针对纵向运动建立的非线性非定常气动力微分方程模型扩展应用于一般空间运动形式,在分析大攻角非定常流动机理和试验数据的基础上,发展了一种多自由度非线性非定常气动力数学模型,并探讨了模型辨识和参数估计问题。用全机构形的大攻角动态风洞试验数据对模型进行的验证表明所发展的气动力模型能够描述大攻角气动力主要的非线性和非定常特性。     

求解常微分方程组的小波技术

研究发展一种新的求解常微分方程的数值方法—快速小波配置法 (FWCM) ,该方法与传统的时间推进或频率区间方法完全不同。快速小波配置法是将任意函数展开为小波基函数 ,用快速离散小波转换技术 (DWT) ,有效地构造常微分方程的近似解。计算过程中 ,在小波展开层次和自变量区间两个不同方面采用了多层自适应和多区间自适应处理技术 ,提高了计算过程的稳定性和收敛性 ,并且具有均匀的误差分布。特别是在常微分方程的长时间解方面 ,与Runge-Kutta方法比较 ,具有稳定的长时间性态。     

用内文丘里管流量计测量酸气流量

介绍了新型差压装置--内文丘里管的结构、测量原理、技术性能;根据差压式流量计的测量原理,建立了计算酸气流量的数学模型,并将内文丘里管流量计成功地应用于酸气流量的测量.     

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

计算机简化逻辑代数式

本文的目的是用计算机对数字电路、模糊数学领域及其他技术领域中广泛使用的逻辑代数式进行简化,以前简化逻辑代数式的方法一般采用公式法、真值图法、观察法及其他方法处理,但是随着科学技术的飞跃发展,逻辑中所含的变量数目越来越多,给人们的简化工作带来了困难。本文为此对逻辑代数式的规律进行分析,提出用计算机计算的公式,并提出减小计算工作量的方法。     

关于某个四阶非对称微分方程边值问题的唯一性

本文处理如下形式的四阶非对称微分方程边值问题的唯一性。 对于对称情形,传统的处理方法是利用Thichmarsh,E.C.的函数论方法与亏指标理论。而当方程为非对称时,上述方法会有些困难。但若通过构造某个特殊的与(?)λ有关的内积,并利用内插不等式及Opial不等式,则非对称情形能被容易地处理且得到许多唯一性的结果。     

基于GPS相对伪距差分的相对导航方法研究

研究基于GPS相对伪距差分技术的RVD相对导航方法。分析了在相对位置零位处对相对伪距差分模型进行线性化后的模型误差,并推导了由模型误差所引起的相对导航参数确定误差;提出了模型误差修正方法和采用强跟踪滤波器的非线性滤波方法等两种改进方法。最后,通过数学仿真验证了两种改进方法的有效性。     

神经网络理论在微分对策中的应用

阐述了微分对策理论在实际应用中存在的问题,并从动态冲突的实际过程出发,将神经网络理论与分层式智能控制理论相结合,来模型化微分对策问题.将微分对策的双向优化问题转化成基于神经网络理论的目标机动性辨识和单向优化控制问题,将微分对策的定性与定量结合起来,为有效加入人的经验提供了一种技术途径.并采用自适应分布式学习速率,大大提高了神经网络的学习速度和精度.